|
|footnotes = |signature = | website = }} Alan Richard Bundy, CBE, FRS,〔 FREng,〔 FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh,〔http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website〕 known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search.〔http://dream.inf.ed.ac.uk/ Mathematical Reasoning Group〕 ==Education== Alan Bundy was educated as a Mathematician, obtaining an honours degree in Mathematics in 1968 from the University of Leicester and a PhD in Mathematical Logic in 1971, also from Leicester. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Alan Bundy」の詳細全文を読む スポンサード リンク
|